Finding Order-Preserving Subgraphs
arxiv.org·6h
🕸️Graph Algorithms
Billions of Edges per Second with Postgres
onesparse.com·15h·
Discuss: Hacker News
🗜️Graph Compression
Algebra Problems of the Day (Algebra Regents, June 2025 Part III)
mrburkemath.blogspot.com·1d·
Discuss: www.blogger.com
🔢Reed-Solomon Math
Cactus Language • Stylistics 4
inquiryintoinquiry.com·19h
🌳Context free grammars
Complex knots can actually be easier to untie than simple ones
newscientist.com·23h
🕸️Algebraic Topology
Historical highlights?
logicmatters.net·23h
🔀Category Theory
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·6h
🌳Context free grammars
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·12h·
Discuss: Hacker News
🎯Interactive Provers
Alignment
languagelog.ldc.upenn.edu·14h
🔄Language Evolution
A new look at twin reduction
cameroncounts.wordpress.com·1d
🔗Graph Isomorphism
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Machine Learning Fundamentals: decision trees project
dev.to·19h·
Discuss: DEV
🔗Topological Sorting
DuSEGO: Dual Second-order Equivariant Graph Ordinary Differential Equation
arxiv.org·1d
🔗Graph Isomorphism
Divide-Then-Rule: A Cluster-Driven Hierarchical Interpolator for Attribute-Missing Graphs
arxiv.org·6h
🕸️Neo4j
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·17h
🧮Kolmogorov Bounds
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🧠Computational Logic
Fine-tuning Large Language Model for Automated Algorithm Design
arxiv.org·6h
🔨Compilers
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.org·1d
✨Effect Handlers